Basic science

Results: 4014



#Item
381

BRICS Basic Research in Computer Science BRICS RSJ. Srba: Strong Bisimilarity of Simple Process Algebras: Complexity Lower Bounds Strong Bisimilarity of

Add to Reading List

Source URL: www.brics.dk

- Date: 2002-06-07 04:10:57
    382

    BRICS Basic Research in Computer Science BRICS RSMiltersen et al.: On converting CNF to DNF On converting CNF to DNF

    Add to Reading List

    Source URL: www.brics.dk

    - Date: 2004-01-31 02:31:00
      383

      BRICS Basic Research in Computer Science BRICS RSNielsen & Agha: Towards Re-usable Real-Time Objects Towards Re-usable Real-Time Objects

      Add to Reading List

      Source URL: www.brics.dk

      - Date: 1999-03-25 08:40:01
        384

        BRICS Basic Research in Computer Science BRICS RSU. Kohlenbach: On the arithmetical content of restricted forms of comprehension On the Arithmetical Content of

        Add to Reading List

        Source URL: www.brics.dk

        - Date: 1997-10-01 04:19:44
          385

          BRICS Basic Research in Computer Science BRICS RSC´accamo & Winskel: A Higher-Order Calculus for Categories A Higher-Order Calculus for Categories

          Add to Reading List

          Source URL: www.brics.dk

          - Date: 2001-09-06 05:16:59
            386

            The Battle Against Microbial Pathogens: Basic Science, Technological Advances and Educational Programs A. Méndez-Vilas (Ed.) Plasmid encoded bacteriocin transformation studies in Alcaligenes and Brevundimonas sp A. Misb

            Add to Reading List

            Source URL: www.formatex.info

            - Date: 2015-04-08 02:59:20
              387

              BRICS Basic Research in Computer Science BRICS RSCamenisch & Michels: Proving that a Number is the Product of Two Safe Primes Proving in Zero-Knowledge that a Number

              Add to Reading List

              Source URL: www.brics.dk

              - Date: 1998-12-11 04:52:33
                388

                BRICS Basic Research in Computer Science BRICS DS-03-8 J. B. Nielsen: On Protocol Security in the Cryptographic Model

                Add to Reading List

                Source URL: www.brics.dk

                - Date: 2004-03-22 12:21:42
                  389

                  BRICS Basic Research in Computer Science BRICS RS-00-6 Damg˚ard & Nielsen: Improved Non-Committing Encryption Schemes

                  Add to Reading List

                  Source URL: www.brics.dk

                  - Date: 2000-03-20 09:40:24
                    390

                    BRICS Basic Research in Computer Science BRICS RSU. Nestmann: What is a ‘Good’ Encoding of Guarded Choice? What is a

                    Add to Reading List

                    Source URL: www.brics.dk

                    - Date: 2000-01-10 04:47:16
                      UPDATE